Graded vector space